DEFINITION MODULE DotTime;
  EXPORT QUALIFIED DotTimingTest;
  PROCEDURE DotTimingTest;
END DotTime.
